全称量词 (一阶谓词演算)的英文

universal quantifier in fopc

• 全称:    full name
• 量词:    classifier; measur ...
• 一:    one
• 阶:    steps; stairs
• 谓词演算:    predicate calculus